121. Foundations of probabilistic logic programming :
Author: Fabrizio Riguzzi.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming.,Probabilities-- Data processing.,COMPUTERS-- Logic Design.,Logic programming.,Probabilities-- Data processing.
Classification :
QA76
.
63
.
R54
2018


122. From Logic Design to Logic Programming:
Author: D Snyers
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic.,Computer programming.,Computer science.
Classification :
QA76
.
9
.
A96
D769
1987


123. From logic design to logic programming : theorem proving techniques and P-functions
Author: Snyers, Dominique, 9591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Automatic theorem proving,، Computer algorithms,، Logic programming
Classification :
QA
76
.
L28
Vol
.
271


124. From logic programming to Prolog
Author: Apt, Krzysztof R.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic programming,، Prolog )Computer program language(
Classification :
QA
76
.
63
.
A67
1996


125. From logic programming to Prolog
Author: Apt, Krzysztof R.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Logic programming , Prolog )Computer program language(
Classification :
QA
76
.
63
.
A67
1997


126. From logic programming to Prolog
Author: / Krzysztof R. Apt
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Logic programming,Prolog (Computer program language)
Classification :
QA
76
.
73
.
A67
1996


127. From logic programming to prolog.
Author: / Krzysztof R.Apt
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Logic programming,Prolg(Computer program language)
Classification :
QA
76
.
63
.
A67
1996


128. From logic to logic programming
Author: Doets, Kees
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Logic programming
Classification :
QA
76
.
63
.
D64
1994


129. From logic to logic programming /
Author: Kees Doets
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming
Classification :
QA76
.
63
.
D64
1994


130. From modallogic to deductive databases
Author: / editor Andre Thayse, authors Paul Gochet...
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Artificial intelligence,Logic programming
Classification :
Q
335
.
F76
1989


131. Functional and Logic Programming
Author: \ Oleg Kiselyov , Andy King (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Functional programming (Computer science) -- Congresses.,Logic programming -- Congresses.,Functional programming (Computer science),برنامهنویسی منطقی -- کنگرهها
Classification :
QA
76
.
62
.
F8
2016
E-Book
,


132. Functional and constraint logic programming
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Functional programming (Computer science) ; Congresses. ; Constraint programming (Computer science) ; Congresses. ; Logic programming ; Congresses. ;

133. Functional and constraint logic programming :
Author: Josep Silva (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Constraint programming (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic programming, Congresses.,Constraint programming (Computer science),Functional programming (Computer science),Logic programming.
Classification :
QA76
.
62


134. Functional and constraint logic programming :
Author: Julio Mariño (edition)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming, Congresses,Mathematical Logic and Formal Languages
Classification :
QA76
.
63
.
W45
2011


135. Functional and constraint logic programming
Author: / Santiago Escobar (ed.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Functional programming (Computer science)--Congresses,Constraint programming (Computer science)--Congresses,Logic programming--Congresses,WFLP
Classification :
QA
,
76
.
62
,.
W45
,
2009


136. Functional and constraint logic programming
Author: / Santiago Escobar (ed.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Functional programming (Computer science), Congresses,Constraint programming (Computer science), Congresses,Logic programming, Congresses
Classification :
QA76
.
62
.
W45
2010


137. Functional and logic programming
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Functional programming (Computer science) ; Congresses. ; Logic programming ; Congresses. ;

138. Functional and logic programming
Author: Matthias Blume, Naoki Kobayashi, German Vidal. (eds.)
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Functional programming (Computer science), Congresses,Logic programming, Congresses
Classification :
QA
،
76
.
62
،.
F84
،
2010


139. Functional and logic programming
Author: / Masami Hagiya, Philip Wadler (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Functional programming (Computer science)--Congresses,Logic programming--Congresses
Classification :
QA
,
76
.
62
,.
F84
,
2006


140. Functional and logic programming
Author: / Matthias Blume, Naoki Kobayashi, German Vidal (eds.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Functional programming (Computer science), Congresses,Logic programming, Congresses
Classification :
QA76
.
62
.
F56
2010

